Bicarregui, J.C.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Formal methods

Woodcock, Jim, Larsen, Peter Gorm, Bicarregui, Juan, Fitzgerald, John

Journal:

ACM Computing Surveys

Year:

2009

Language:

english

File:

PDF, 736 KB

english, 2009

2

Preface

Juan Bicarregui, Andrew Butterfield, Alvaro Arenas

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 63 KB

english, 2005

3

Managing Conflicts of Interest in Virtual Organisations

Alvaro Arenas, Benjamin Aziz, Juan Bicarregui, Brian Matthews

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 236 KB

english, 2008

4

Making the most of formal specification through animation, testing and proof

Juan Bicarregui, Jeremy Dick, Brian Matthews, Eoin Woods

Journal:

Science of Computer Programming

Year:

1997

Language:

english

File:

PDF, 1.82 MB

english, 1997

5

Experiences of using formal methods for chemical process control specification

K Lano, J Bicarregui, P Kan

Journal:

Control Engineering Practice

Year:

2000

Language:

english

File:

PDF, 255 KB

english, 2000

6

The verified software repository: a step towards the verifying compiler

J.C. Bicarregui, C.A.R. Hoare, J.C.P. Woodcock

Journal:

Formal Aspects of Computing

Year:

2006

Language:

english

File:

PDF, 128 KB

english, 2006

7

Investigating the Integration of two Formal Methods

Juan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm

Journal:

Formal Aspects of Computing

Year:

1998

Language:

english

File:

PDF, 122 KB

english, 1998

8

Foreword: Selected papers from the ninth international workshop on formal methods for industrial critical systems (FMICS 04), Linz, Austria

Andrew Butterfield, Juan C. Bicarregui, Alvaro Arenas

Journal:

Formal Methods in System Design

Year:

2007

Language:

english

File:

PDF, 83 KB

english, 2007

9

Information Systems Research and Development at CCLRC: Accelerating Innovation through Technology Transfer

Juan C. Bicarregui

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 84 KB

english, 2003

10

Formal methods into practice: case studies in the application of the B method

Bicarregui, J.C., Clutterbuck, D.L., Finnie, G., Haughton, H., Lano, K., Lesan, H., Marsh, D.W.R.M., Matthews, B.M., Moulding, M.R., Newton, A.R., Ritchie, B., Rushton, T.G.A., Scharbach, P.N.

Journal:

IEE Proceedings - Software Engineering

Year:

1997

Language:

english

File:

PDF, 1.86 MB

english, 1997

11

Invariants, frames and postconditions: a comparison of the VDM and B notations

Bicarregui, J., Ritchie, B.

Journal:

IEEE Transactions on Software Engineering

Year:

1995

Language:

english

File:

PDF, 940 KB

english, 1995

12

[IEEE Comput. Soc Third International Workshop on Policies for Distributed Systems and Networks - Monterey, CA, USA (5-7 June 2002)] Proceedings Third International Workshop on Policies for Distributed Systems and Networks - Policy-driven access control over a distributed firewall architecture

Dimitrakos, T., Djordjevic, I., Matthews, B., Bicarregui, J., Phillips, C.

Year:

2002

Language:

english

File:

PDF, 376 KB

english, 2002

13

[IEEE Comput. Soc 12th IEEE International Conference Automated Software Engineering - Incline Village, NV, USA (1-5 Nov. 1997)] Proceedings 12th IEEE International Conference Automated Software Engineering - On the verification of VDM specification and refinement with PVS

Savi Maharaj,, Bicarregui, J.

Year:

1997

Language:

english

File:

PDF, 873 KB

english, 1997

14

[IEEE 2009 5th IEEE International Conference on e-Science (e-Science) - Oxford, United Kingdom (2009.12.9-2009.12.11)] 2009 Fifth IEEE International Conference on e-Science - ICAT: Integrating Data Infrastructure for Facilities Based Science

Flannery, Damian, Matthews, Brian, Griffin, Tom, Bicarregui, Juan, Gleaves, Michael, Lerusse, Laurent, Downing, Roger, Ashton, Alun, Sufi, Shoaib, Drinkwater, Glen, Kleese, Kerstin

Year:

2009

Language:

english

File:

PDF, 987 KB

english, 2009

15

[IEEE 2008 Third International Conference on Availability, Reliability and Security - (2008.03.4-2008.03.7)] 2008 Third International Conference on Availability, Reliability and Security - Modelling Security Properties in a Grid-based Operating System with Anti-Goals

Arenas, Alvaro, Aziz, Benjamin, Bicarregui, Juan, Matthews, Brian, Yang, Erica Y.

Year:

2008

Language:

english

File:

PDF, 491 KB

english, 2008

16

PaNdata: Open Data Infrastructure for Photon and Neutron Sources

Bicarregui, Juan, Matthews, Brian, Schluenzen, Frank

Journal:

Synchrotron Radiation News

Year:

2015

Language:

english

File:

PDF, 916 KB

english, 2015

17

Interpolation in practical formal development

Journal:

Logic Journal of IGPL

Year:

2001

Language:

english

File:

PDF, 302 KB

english, 2001

18

MaRDI-Gross – Data Management and Preservation Planning for Large Projects

Jones, RWL, Bicarregui, JC, Gray, N, Henderson, RCW, Lambert, SC, Matthews, BM

Journal:

Journal of Physics Conference Series

Year:

2012

Language:

english

File:

PDF, 470 KB

english, 2012

19

Experiences of Using Formal Methods for Chemical Process Control Specification

Lano, K., Bicarregui, J., Kan, P.

Journal:

IFAC Proceedings Volumes

Year:

1998

Language:

english

File:

PDF, 1.11 MB

english, 1998